/** \file lp_evaluator.h
 * \brief Header file for the parsed tree evaluator.
 * \author Marcelo Lira dos Santos
 * \date 2007
 *
 * This is free software; you can redistribute it and/or modify it under the
 * terms of the GNU General Public License, see the file LICENSE.
 */
#ifndef __LP_EVALUATOR_H
#define __LP_EVALUATOR_H
#include <gtk/gtk.h>
#include <glade/glade.h>
#include "logicparser.h"

// Constants
#define TRUE_TEXT		"True"
#define FALSE_TEXT	"False"

// Functions
gboolean lp_evaluate (GtkTreeStore *parsedTreeModel, GtkTreeIter *parent);

#endif //__LP_EVALUATOR_H
